/*
  据说一个人的标准体重应该是其身高（单位：厘米）减去100、再乘以0.9所得到的公斤数。
  已知市斤的数值是公斤数值的两倍。
  现给定某人身高，请你计算其标准体重应该是多少
 */
#include<stdio.h>
int main(){
	int tall;
	double kg,sj;
	
	scanf("%d",&tall);
	
	kg = (tall - 100) * 0.9;
	sj = 2 * kg;
	
	printf("%.1f",sj);
	
	return 0;
}
